clause set中文是什么意思

發(fā)音:

中文翻譯
造句

[網(wǎng)絡(luò)] 子句集

set clause 集子句
base set of clause 子句的基本集
pair and set clause 配對(duì)條款
as is clause 現(xiàn)狀條款
clause n. 1.(章程、條約等的)條，項(xiàng)；條款。 2.【語法】子句，分句，主謂結(jié)構(gòu)，從句。 memorandum clauses 附加條款。 penal clauses 罰則。 saving clauses 附則，附言。 noun clause名詞從句。 principal [subordinate] clause主要[從屬]分句。
for clause 循環(huán)子句
if clause 【語法】條件子句。
if-clause 如果子句, 條件子句; 條件子句
in clause 子句, 屬于子句
in clause in 屬于子句
or clause 或者條款
then clause 則子句
to clause to子句
with clause 開域子句
exception clause or exemption clause 除外條款（免責(zé)條款）
a set 一局; 一套；一副
a set of 套/組/副; 一串; 一套,一副; 一組
be set in 以…為背景/場(chǎng)景
be set to 認(rèn)真開始干
for a set 元一套
in set 成套
not set 不能設(shè)置
on the set 在片場(chǎng)
s-set 海鮮
set SET ＝safe electronic transaction 安全電子交易〔指用信用卡通過因特網(wǎng)支付款項(xiàng)的商業(yè)交易〕。 n. 【埃及神話】賽特〔古埃及神話中獸頭人身象征邪惡的神〕。 vt. (set; setting) 1.放；擱；貼；靠。 set a cup on the table 把杯子放在桌上。 set it against the wall 把它靠在墻上。 set eyes on 注視；碰見。 2.安置；布置；安排；設(shè)置；裝置。 set a guard at the gate 派衛(wèi)兵守門。 3.使固定。 set a butterfly 釘住蝴蝶(做標(biāo)本)。 set a cutting tool on a carriage 把切削刀具固定在刀架上。 4.鑲；嵌。 set a jewel 鑲寶石。 an island set in a sea of silver 鑲在銀色海面上的一個(gè)島。 5.種植。 set seeds [plants] 播種；種(植物)。 6.揚(yáng)(帆)；扯上；扯開。 set sail 張帆；開船。 7.設(shè)(陷阱)；張(羅網(wǎng))。 8.點(diǎn)燃；放(火)。 set fire to 放火。 9.簽(字)；蓋(章)。 set seal [signature] to the deed 在證書上蓋章[簽字]。 set one's hand to a document 在文件上簽字。 10.樹立(榜樣、模范)。 set an example 樹立榜樣；示范；以身作則。 set the fashion 樹立新型樣板；開風(fēng)氣。 11.規(guī)定；約定；擇定(日子等)；指定(地點(diǎn))；劃定(界限)；確定；決定；制定；頒布。 set a price 定價(jià)錢。 set the atomic mass of hydrogen at 1 atomic mass unit 把氫原子量定為一個(gè)原子量單位。 12.創(chuàng)造(記錄)。 set a new production record 創(chuàng)造新的生產(chǎn)記錄。 13.使堅(jiān)固；使凝結(jié)；弄硬；使牢固。 set the white of an egg by boiling it 煮蛋使蛋白凝固。 Cold sets jellies. 果子凍[肉凍]因冷而凍結(jié)。 14.使(頭發(fā))成波浪形；卷(頭發(fā))。 set one's hair 把頭發(fā)卷[作]成波浪形。 15.接骨；整骨。 set the broken bone 正骨。 16.銼(鋸齒)；搶(梯刀)；對(duì)(鐘、表)，撥準(zhǔn)(鐘的指針)；校正(儀器)；調(diào)整。 set a clock [watch] by the TV time signal 按電視臺(tái)的報(bào)時(shí)對(duì)鐘[表]。 set an alarm clock (for five a. m.) 把鬧鐘撥到早晨五點(diǎn)。 17.提出(問題，任務(wù))；出(題目)；指定(作業(yè))。 set an examination paper 出考試題目。 18.排(鉛字)。 19. 使從事；使…[指定]做某事[某動(dòng)作]。 set him to the task 使[指定]他做那件工作。 20.專心；集中；傾注。 set one's heart on ... 一心要；迷戀。 set one's affections on 愛上；熱愛。 21.使處于某種狀態(tài)。 set his mind at ease 使他安心。 set a question at rest 使問題得到解決。 set machines in motion 使機(jī)器開動(dòng)。 set the bell a-ring 把鐘敲響。 set right 矯正；弄正。 set things going 使事情進(jìn)行下去。 set affairs in order 使事情就緒。 22.為(詩(shī)、詞)譜曲；改寫(樂曲)；配(布景)。 set piano music for the violin 改鋼琴曲成小提琴曲。 set word to music 將歌詞編成曲子。 23.使(母雞)孵蛋。 set a hen 使一母雞孵蛋。 24.〔橋牌〕打敗(對(duì)手)。 25.使朝某一方向。 set one's feet homeward 朝回家的方向走。 26.使移動(dòng)。 set a match of fire 以火柴點(diǎn)火。 set a pen to paper 提筆寫字，著書立說。 27.〔方言〕使坐下。 28.釋放。 set a prisoner free 釋放犯人。 29.(獵狗)以鼻指著(獵物)以指示其位置。 30.使(顏色)固著。 vi. 1.(太陽等)(沉)落；偏西。 The sun has set. 太陽落了。 His star has set. 他的命運(yùn)完了。 2.(液體等)凝固；凝結(jié)；固定。 The jelly has set. 肉凍凝結(jié)起來了。 His character has set. 他的性格固定下來了。 His face set. 他繃起面孔。 Her eyes set. 她的眼睛瞪住了。 3. 著手；從事。 4.開始活動(dòng)；開始工作。 5.(水、風(fēng)等)流向；吹向；(感情、意見等)傾向。 The tide sets in [out]. 潮水漲[退]了。 6.結(jié)果實(shí)；結(jié)子兒。 7.植樹；插樹。 8.(母雞)孵卵。 9.(衣服等)合身；適合。 The coat sets badly. 這件上衣不合身。 10.(獵犬)站住指示獵物所在。 11.(跳舞)采取面對(duì)面姿勢(shì)。 12.(骨)接合；(金屬)永久變形。 13.〔方言〕坐。 14.(頭發(fā))卷成波浪形。 15.攻擊 (upon)。 16.(顏色)固著。 be hard set 1. 處于為難境地 (for to)。 2. (蛋)在孵化中。 3. 感到饑餓。 be sharp set 1. 很餓。 2. 渴求。3. (臉)表情嚴(yán)肅。 set a case 假定。 set a limit to (規(guī)定)限制；縮減(冗費(fèi))。 set a thief [rogue] to catch a thief [rogue] 以毒攻毒。 set about 1. 開始；下手；著手。 2. 〔口語〕攻擊。 3. 散布(謠言)。 4. 〔俚語〕連接毆打；亂打。 set abroad 散布；推廣；宣揚(yáng)；公開發(fā)表。 set afloat 1. 落水；使下水。 2. 著手；開始。 set against 1. 比較；對(duì)照。2. 使對(duì)抗；使反對(duì)；使猜忌。 3. 使平衡。4. 使不和；離間。 5. 賭。 set agoing [going] 使動(dòng)；開動(dòng)；使開行。 set apart 1. 留出(充當(dāng)別用)。 2. 分開；分離。 set aside 撥出；擱置；駁回。 set at 襲擊；嗾使(狗等)。 set at ease [rest] 使安心；安慰；撫慰。 set at large [liberty] 釋放；解放。 set at odds, set at variance 挑撥離間；使?fàn)幊常皇勾蚣堋?set back 1. 阻礙；阻止。 2. 使挫折；使退步。 3. 撥慢(鐘表的方針)。 4. 〔美口〕使(某人)花錢 (How much did it set you back 它使你花了多少錢？)。 set before 1. 擺在…前面；拿出；盛出(食物)；(把酒)斟出。 2. 告訴(事實(shí)等)；陳述；說明；勸導(dǎo)。 set by 1. 擱在一旁；拿開；擱起；藏起；保留。 2. 尊重；珍重。 set by the compass 按羅針儀測(cè)定(方位)。 set by the heels 1. 上腳鐐。 2. 拘禁；監(jiān)禁；逮捕；使不能活動(dòng)[無能，無用]。 3. 弄翻；弄倒。 set down 1. 擱下；丟下。 2. 讓乘客下車；把東西卸下車。 3. 記入；登記。 4. 定；設(shè)；制定。

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Method extraction based on reachability tree of pr t net for horn clauses set
網(wǎng)可達(dá)樹的方案求解
Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e-unsatisfied clause set
接著給出廣義調(diào)解的有效性證明，然后證明廣義調(diào)解和廣義歸結(jié)的聯(lián)合使用對(duì)e-恒假的子句集是廣義完備的。
After that we prove the soundness of the paramodulation in bofl . and then we prove that paramodulation is generalized complete when used with resolution for 2e-unsatisfied clause set
然后證明調(diào)解的有效性，證明在bofl中調(diào)解法和歸結(jié)法的結(jié)合對(duì)e-恒假的子句集是廣義完備的。
Whoever wants him most will have to dig deep in their pockets for the rapidly rising flamengo star, who has a contract with the club until 2012 with a buyout clause set at 30m euro
不過任何希望買這名弗拉門戈新星的球隊(duì)都得好好挖掘下自己的錢包，因?yàn)檫@名球員和俱樂部的合同簽到了2012年，且合同里有一個(gè)3000萬歐元的無條件轉(zhuǎn)會(huì)價(jià)格限定。
So the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it
這樣可以將調(diào)解法用于一種非子句形式的公式集??廣義子句上，從而不僅可以避免從一般的公式集到子句集的轉(zhuǎn)化過程所產(chǎn)生的大量符號(hào)冗余，同時(shí)也保持了對(duì)問題描述的自然性。
So the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it
這樣可以將調(diào)解法用于一種非子句形式的公式集??廣義子句上，從而不僅可以避免從一般的公式集到子句集的轉(zhuǎn)化過程所產(chǎn)生的大量符號(hào)冗余，同時(shí)也保持了對(duì)問題描述的自然性。
Once insurance time limit is affirmatory, without special account, do not grant to be changed at will commonly, but underwriter and insurant can set according to clauses or the change of actual condition, pose a change or stop insurance liability time limit, protect because of the unit cancels and applying for midway to retreat like insurant, be like what insurant nonperformance clauses sets to should use up each obligation again, the underwriter ends insurance liability since comprehensive announcement day
保險(xiǎn)期限一經(jīng)確定，無非凡原因，一般不予隨意變更，但是保險(xiǎn)人和被保險(xiǎn)人可以根據(jù)保險(xiǎn)條款規(guī)定或?qū)嶋H情況的變更，提出改變或終止保險(xiǎn)責(zé)任期限，如被保險(xiǎn)人因單位撤消而申請(qǐng)中途退保，又如被保險(xiǎn)人不履行保險(xiǎn)條款規(guī)定的應(yīng)盡各項(xiàng)義務(wù)，保險(xiǎn)人從全面通知日起終止保險(xiǎn)責(zé)任。
In this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network . go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution
本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉(zhuǎn)化為一個(gè)神經(jīng)網(wǎng)絡(luò)模型的方法，進(jìn)j一步，對(duì)如何構(gòu)造該神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)算法來體現(xiàn)歸結(jié)過程進(jìn)行了討論，并證明了此學(xué)習(xí)算法用于歸結(jié)原理的可靠性和完備性。
In this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network . go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution
本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉(zhuǎn)化為一個(gè)神經(jīng)網(wǎng)絡(luò)模型的方法，進(jìn)j一步，對(duì)如何構(gòu)造該神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)算法來體現(xiàn)歸結(jié)過程進(jìn)行了討論，并證明了此學(xué)習(xí)算法用于歸結(jié)原理的可靠性和完備性。

推薦英語閱讀

clause set的中文翻譯，clause set是什么意思，怎么用漢語翻譯clause set，clause set的中文意思，clause set的中文，clause set in Chinese，clause set的中文，clause set怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。